IBakery5PUnrEnc-Rev-FbOneOne-Nondet-Partial
solved
t/o
mem limit
<10s
queued
94%
0%
6%
75%
0%
15
0
1
12
0
⊇
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
armcNFA_inclTest_0.vtf
armcNFA_inclTest_2.vtf
armcNFA_inclTest_1.vtf
armcNFA_inclTest_3.vtf
Result does not exist.
ℒ(A) ⊆ ℒ(B)
Automaton A
A
#states: 33300
#final states: 24
size of alhpabet: 200
Automaton B
A: arlerjlkejrlwekrj_rwerinc.vtf
#states: 33300
#final states: 24
size of alhpabet: 200
100 ms
1000 ms
×
Console Output